Monadic logic; Monadic predicate logic; Monadic first-order logic; First order monadic predicate logic; Monadic first-order logic of order
In logic, the monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic in which all relation symbols in the signature are monadic (that is, they take only one argument), and there are no function symbols. All atomic formulas are thus of the form P(x), where P is a relation symbol and x is a variable.
Monadic, a relation or function having an arity of one in logic, mathematics, and computer science
Monadic, an adjunction if and only if it is equivalent to the adjunction given by the Eilenberg–Moore algebras of its associated monad, in category theory
Monadic, in computer programming, a feature, type, or function related to a monad (functional programming)
Monadic or univalent, a chemical valence
Monadic, in theology, a religion or philosophy possessing a concept of a divine Monad